Strong and Robustly Strong Polynomial Time Reducibilities to Sparse Sets
نویسندگان
چکیده
GavaldB, R. and J.L. BalcBzar, Strong and robustly strong polynomial time reducibilities to sparse sets, Theoretical Computer Science 88 (1991) I-14. Reducibility defined by oracle strong nondeterministic machines is studied. Two definitions of relativized strength are presented and separated. The corresponding reduction classes of the sparse sets give two nonuniform analogs of the class NPncoNP. An oracle-restricted positive relativization of the probabilistic class ZPP is developed.
منابع مشابه
?-Independent and Dissociate Sets on Compact Commutative Strong Hypergroups
In this paper we define ?-independent (a weak-version of independence), Kronecker and dissociate sets on hypergroups and study their properties and relationships among them and some other thin sets such as independent and Sidon sets. These sets have the lacunarity or thinness property and are very useful indeed. For example Varopoulos used the Kronecker sets to prove the Malliavin theorem. In t...
متن کاملSplitting NP-Complete Sets
We show that a set is m-autoreducible if and only if it is m-mitotic. This solves a long standing open question in a surprising way. As a consequence of this unconditional result and recent work by Glaßer et al., complete sets for all of the following complexity classes are m-mitotic: NP, coNP, ⊕P, PSPACE, and NEXP, as well as all levels of PH, MODPH, and the Boolean hierarchy over NP. In the c...
متن کاملRedundancy in Complete Sets
We show that a set is m-autoreducible if and only if it is m-mitotic. This solves a long standing open question in a surprising way. As a consequence of this unconditional result and recent work by Glaßer et al. [11], complete sets for all of the following complexity classes are m-mitotic: NP, coNP, ⊕P, PSPACE, and NEXP, as well as all levels of PH, MODPH, and the Boolean hierarchy over NP. In ...
متن کاملStrong Reductions and Immunity for Exponential Time
This paper investigates the relation between immunity and hardness in exponential time. The idea that these concepts are related originated in computability theory where it led to Post’s program, and it has been continued successfully in complexity theory [9, 13, 20]. We study three notions of immunity for exponential time. An infinite set A is called • EXP-immune, if it does not contain an inf...
متن کاملOn Kolmogorov Complexity of Hard Sets
There are two main informal ideas related to informational content of hard sets. The first says that a set of low informational content can not be hard or complete for a great enough complexity class because of lack of information accessible with bounded resources. One of the formalization of this idea is well-known Hartmanis Conjecture: Sparse sets are not Ccomplete if C is great enough comple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 88 شماره
صفحات -
تاریخ انتشار 1988